TAGs: elimination word problems